"Frank Pfenning" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)

Frank Pfenning

5.24 Mb

#2

Term Rewriting and Applications, 17 conf., RTA 2006

Категория: Cs_Computer science, CsLn_Lecture notes

4.02 Mb

#3

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Frank Pfenning

3.67 Mb

#4

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

Frank Pfenning, Yannis Smaragdakis

4.29 Mb

#5

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Frank Pfenning

4.55 Mb